Logic in Math Made Easy